2141. The theory of models; proceedings

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)

موضوع : Logic Symbolic and mathematical models-Congresses

رده :
BC
135
.
I586

2142. The theory of models; proceedings

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models

رده :
BC
135
.
I586
1963

2143. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1949

2144. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1971

2145. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R413

2146. The uncertain reasoner's companion : a mathematical perspective

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning

رده :
QA
9
.
P26

2147. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1479

2148. Theorem proving with analytic tableaux and related methods :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.

رده :
QA76
.
9
.
A96
P484
1995

2149. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1071

2150. Theorems, corollaries, lemmas, and methods of proof

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical

رده :
QA
9
.
54
.
R668
2006

2151. Theorems, corollaries, lemmas, and methods of proof

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical

رده :
QA
9
.
54
.
R68T4

2152. Theorems, corollaries, lemmas, and methods of proof /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks

رده :
QA9
.
54
.
R668
2006

2153. Theorems, corollaries, lemmas, and methods of proof

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks

رده :
QA9
.
54
.
R668
2006

2154. Theorems of the 21st century.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.

رده :
QA37
.
3

2155. Theories of Intensionality

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books

رده :
EBOOK
,
BC
.
I5
199

2156. Theories of intensionality : a critical survey

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Intention )Logic(,، Logic, Symbolic and mathematical

رده :
BC
199
.
I5P37

2157. Theory of Finite and Infinite Graphs

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.

2158. Theory of Graded Consequence :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)

رده :
QA9
.
C45
2019

2159. Theory of formal systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.

رده :
QA248
.
5

2160. Theory of graded consequence :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;